UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system

Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University

Source URL: s3.amazonaws.com

An Architecture-Centric Process for MILS Development Julien Delange, Min-Young Nam, Peter Feiler, and Will Klieber Carnegie Mellon Software Engineering Institute 4500 Fifth Avenue Pittsburgh, PA, USA

Source URL: mils-workshop-2016.mils.community

JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,

Source URL: www.jccs-a.at

Making Embedded Software Reuse Practical and Safe Nancy G. Leveson, Kathryn Anne Weiss Aeronautics and Astronautics; Engineering Systems Massachusetts Institute of Technology ,

Source URL: sunnyday.mit.edu

Is Lines of Code a Good Measure of Effort in Effort-Aware Models? Emad Shihab∗ , Yasutaka Kamei+ , Bram Adams# and Ahmed E. Hassan@ Department of Software Engineering∗ , Rochester Institute of Technology, Rochester,

Source URL: posl.ait.kyushu-u.ac.jp

Economics of Cybersecurity Paul Nielsen Director and CEO Software Engineering Institute

Source URL: paris.utdallas.edu

JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,

Source URL: www.jccs-a.at

Decision Knowledge Triggers in Continuous Software Engineering Anja Kleebaum Heidelberg University Institute of Computer Science

Source URL: cures.ifi.uni-heidelberg.de